div.sphinxsidebar {
  height: 100%; /* 100vh */
  overflow: auto; /* overflow-y */
}
